Second Borel–Cantelli lemma